Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin

Source URL: symbolaris.com

• Physics
• Logic
• Quantity
• VLO
• Traffic collision avoidance system
• Work
• Quantifier

The future is here Project Ubin: SGD on Distributed Ledger A report developed with the contributions of Bank of America Merrill Lynch, BCS Information Systems, Credit Suisse, DBS Bank, HSBC, J.P. Morgan, Mitsubishi UFJ F

Source URL: www.mas.gov.sg

• Blockchains
• Cryptocurrencies
• Concurrent computing
• Computing
• Economy
• Alternative currencies
• Bitcoin
• Distributed computing
• Distributed ledger
• R3
• DLT
• Digital currency

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

International Mathematics Research Notices Advance Access published November 1, 2012 J. Grivaux (2012) “The Hochschild–Kostant–Rosenberg Isomorphism for Quantized Analytic Cycles,” International Mathematics Resea

Source URL: jgrivaux.perso.math.cnrs.fr

• Abstract algebra
• Algebra
• Mathematics
• Algebraic geometry
• Sheaf theory
• Algebraic varieties
• Coherent sheaf
• Divisor
• Isomorphism
• Sheaf
• Vector bundle
• Adjoint functors

Accepted for publication in J. Functional Programming 1 Finger trees: a simple general-purpose data structure

Source URL: www.staff.city.ac.uk

• Computing
• Computer programming
• Binary trees
• Information science
• Knowledge representation
• Tree
• Finger tree
• B-tree
• 23 tree
• Double-ended queue
• Search tree

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

Internet Scale User-Generated Live Video Streaming: The Twitch Case Jie Deng, Gareth Tyson, Felix Cuadrado, and Steve Uhlig Queen Mary University of London, UK {j.deng,gareth.tyson,felix.cuadrado,steve.uhlig}@qmul.ac.uk

Source URL: www.eecs.qmul.ac.uk

• Computing
• Internet broadcasting
• Information and communications technology
• Concurrent computing
• Twitch.tv
• Proxy server
• Server
• Video game live streaming
• Esports
• Video on demand
• Twitch
• Streaming media

Proceedings on Privacy Enhancing Technologies ; ):37–61 Sheharbano Khattak*, Tariq Elahi*, Laurent Simon, Colleen M. Swanson, Steven J. Murdoch, and Ian Goldberg SoK: Making Sense of Censorship Resistance Syst

Source URL: sheharbano.com

• Internet privacy
• Internet censorship
• Computing
• Digital rights
• Information and communications technology
• Internet security
• Firewall software
• Great Firewall
• Proxy server
• Deep packet inspection
• Censorship
• DNS hijacking

1 Draft of Jamieson, J., & Boase, JListening to social rhythms: Exploring interactional, time stamped data using sonification. In L. Sloan and A. Quan-Haase (Eds.), The SAGE handbook of social media research me

Source URL: individual.utoronto.ca

• Humancomputer interaction
• Multimodal interaction
• Display technology
• Sonification
• Writing
• User interface techniques
• Auditory display
• Data visualization
• Handwriting

Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science

Source URL: precision.moscito.org

• Mathematics
• Algebra
• Equations
• Linear algebra
• Monomial
• Ordinary differential equations
• Recurrence relation
• Equation solving
• Elementary algebra
• Equation
• System of linear equations
• Algebraic curve